Rolf Drechsler: search on Z-Library

Fundraising September 15, 2024 – October 1, 2024 About fundraising

Your gateway to knowledge and culture. Accessible for everyone.

Fundraising September 15, 2024 – October 1, 2024

Z-Library is one of the largest online libraries in the world that contains over 17,000,000 books and 84,837,000 articles. We aim to make literature accessible to everyone. Today (September 15, 2024) we've started additional fundraising to project maintenance and development.

Also UNLIMITED downloads (for 31 days after the day of making donation) are available for ALL contributors who will donate during the fundraising period till October 1, 2024.

About fundraisingRead more

Make a donation

Books (76)
Most Popular
List
- List
- Table

1

In-Memory Computing: Synthesis and Optimization

In-Memory Computing: Synthesis and Optimization

Saeideh Shirinzadeh, Rolf Drechsler

Year:

2019

Language:

english

File:

PDF, 2.05 MB

0 / 0

english, 2019

2

Debugging at the Electronic System Level

Debugging at the Electronic System Level

Springer Netherlands

Frank Rogin, Rolf Drechsler (auth.)

Year:

2010

Language:

english

File:

PDF, 2.72 MB

0 / 0

english, 2010

3

Computer: Wie funktionieren Smartphone, Tablet & Co.?

Computer: Wie funktionieren Smartphone, Tablet & Co.?

Springer-Verlag Berlin Heidelberg

Rolf Drechsler, Andrea Fink, Jannis Stoppe (auth.)

Year:

2017

Language:

german

File:

PDF, 2.44 MB

0 / 5.0

german, 2017

4

Computer - Wie funktionieren Smartphone, Tablet & Co.?

Computer - Wie funktionieren Smartphone, Tablet & Co.?

Rolf Drechsler, Andrea Fink, Jannis Stoppe

Year:

2017

Language:

german

File:

PDF, 2.44 MB

0 / 0

german, 2017

5

Evolutionary Algorithms for Embedded System Design

Evolutionary Algorithms for Embedded System Design

Joachim Wegener (auth.), Rolf Drechsler, Nicole Drechsler (eds.)

Year:

2003

Language:

english

File:

PDF, 14.21 MB

0 / 0

english, 2003

6

Test pattern generation using Boolean proof engines

Test pattern generation using Boolean proof engines

Springer Netherlands

Rolf Drechsler, Stephan Eggersglüβ, Görschwin Fey, Daniel Tille (auth.)

Year:

2009

Language:

english

File:

PDF, 6.22 MB

0 / 0

english, 2009

7

Applications of Evolutionary Computing

Applications of Evolutionary Computing

Springer Science & Business Media

Günther Raidl, Stefano Cagnoni, Günther R. Raidl, Jürgen Branke, David W. Corne, Rolf Drechsler, Yaochu Jin, Colin G. Johnson, Penousal Machado, Elena Marchiori, Franz Rothlauf, George D. Smith, Giovanni Squillero

Year:

2004

Language:

english

File:

PDF, 12.80 MB

0 / 0

english, 2004

8

Applications of Evolutionary Computing: EvoWorkshops 2006: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, and EvoSTOC, Budapest, Hungary, April 10-12, 2006. Proceedings

Applications of Evolutionary Computing: EvoWorkshops 2006: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, and EvoSTOC, Budapest, Hungary, April 10-12, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Burcu Bakir, Osman Ugur Sezerman (auth.), Franz Rothlauf, Jürgen Branke, Stefano Cagnoni, Ernesto Costa, Carlos Cotta, Rolf Drechsler, Evelyne Lutton, Penousal Machado, Jason H. Moore, Juan Romero, George D. Smith, Giovanni Squillero, Hideyuki Takagi (eds

Year:

2006

Language:

english

File:

PDF, 20.51 MB

0 / 0

english, 2006

9

Applications of Evolutionary Computing: EvoWorkshops 2007:EvoCOMNET, EvoFIN, EvoIASP, EvoINTERACTION, EvoMUSART, EvoSTOC, and EvoTransLog, Valencia, Spain, ... Computer Science and General Issues)

Applications of Evolutionary Computing: EvoWorkshops 2007:EvoCOMNET, EvoFIN, EvoIASP, EvoINTERACTION, EvoMUSART, EvoSTOC, and EvoTransLog, Valencia, Spain, ... Computer Science and General Issues)

Mario Giacobini, Anthony Brabazon, Stefano Cagoni, Gianni A. Di Caro, Rolf Drechsler, Muddassar Farooq, Andreas Fink, Evelyne Lutton, Penousal Machado, Stefan Minner, Michael O'Neill, Juan Romero, Franz Rothlauf, Giovanni Squillero, Hideyuki Takagi

Year:

2007

Language:

english

File:

PDF, 39.95 MB

0 / 0

english, 2007

10

Advanced Formal Verification

Advanced Formal Verification

Year:

2004

Language:

english

File:

PDF, 4.44 MB

0 / 0

english, 2004

11

Applications of Evolutionary Computation: EvoApplications 2012: EvoCOMNET, EvoCOMPLEX, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoNUM, EvoPAR, EvoRISK, EvoSTIM, and EvoSTOC, Málaga, Spain, April 11-13, 2012, Proceedings

Applications of Evolutionary Computation: EvoApplications 2012: EvoCOMNET, EvoCOMPLEX, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoNUM, EvoPAR, EvoRISK, EvoSTIM, and EvoSTOC, Málaga, Spain, April 11-13, 2012, Proceedings

Springer-Verlag Berlin Heidelberg

José Manuel Lanza-Gutiérrez, Juan Antonio Gómez-Pulido, Miguel A. Vega-Rodríguez (auth.), Cecilia Di Chio, Alexandros Agapitos, Stefano Cagnoni, Carlos Cotta, Francisco Fernández de Vega, Gianni A. Di Caro, Rolf Drechsler, Anikó Ekárt, Anna I. Esparcia-Al

Year:

2012

Language:

english

File:

PDF, 10.52 MB

0 / 0

english, 2012

12

Advanced formal verification

Advanced formal verification

Year:

2004

Language:

english

File:

PDF, 2.02 MB

0 / 0

english, 2004

13

Advanced Formal Verification

Advanced Formal Verification

Year:

2004

Language:

english

File:

PDF, 4.44 MB

0 / 0

english, 2004

14

Advanced Formal Verification

Advanced Formal Verification

Year:

2004

Language:

english

File:

PDF, 4.04 MB

0 / 0

english, 2004

15

Applications of Evolutionary Computation: EvoApplications 2011: EvoCOMNET, EvoFIN, EvoHOT, EvoMUSART, EvoSTIM, and EvoTRANSLOG, Torino, Italy, April 27-29, 2011, Proceedings, Part II

Applications of Evolutionary Computation: EvoApplications 2011: EvoCOMNET, EvoFIN, EvoHOT, EvoMUSART, EvoSTIM, and EvoTRANSLOG, Torino, Italy, April 27-29, 2011, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Fatma Corut Ergin, A. Şima Uyar, Ayşegül Yayimli (auth.), Cecilia Di Chio, Anthony Brabazon, Gianni A. Di Caro, Rolf Drechsler, Muddassar Farooq, Jörn Grahl, Gary Greenfield, Christian Prins, Juan Romero, Giovanni Squillero, Ernesto Tarantino, Andrea G. B

Year:

2011

Language:

english

File:

PDF, 17.04 MB

0 / 0

english, 2011

16

Graphenbasierte Funktionsdarstellung: Boolesche und Pseudo-Boolesche Funktionen

Graphenbasierte Funktionsdarstellung: Boolesche und Pseudo-Boolesche Funktionen

Vieweg+Teubner Verlag

Dr. phil. nat. Rolf Drechsler, Prof. Dr. rer. nat. Bernd Becker (auth.)

Year:

1998

Language:

german

File:

PDF, 5.25 MB

0 / 0

german, 1998

17

Applications of Evolutionary Computation: EvoApplications 2011: EvoCOMNET, EvoFIN, EvoHOT, EvoMUSART, EvoSTIM, and EvoTRANSLOG, Torino, Italy, April 27-29, 2011, Proceedings, Part II

Applications of Evolutionary Computation: EvoApplications 2011: EvoCOMNET, EvoFIN, EvoHOT, EvoMUSART, EvoSTIM, and EvoTRANSLOG, Torino, Italy, April 27-29, 2011, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Fatma Corut Ergin, A. Şima Uyar, Ayşegül Yayimli (auth.), Cecilia Di Chio, Anthony Brabazon, Gianni A. Di Caro, Rolf Drechsler, Muddassar Farooq, Jörn Grahl, Gary Greenfield, Christian Prins, Juan Romero, Giovanni Squillero, Ernesto Tarantino, Andrea G. B

Year:

2011

Language:

english

File:

PDF, 15.62 MB

0 / 0

english, 2011

18

Evolutionary Algorithms for Embedded System Design (Genetic Algorithms and Evolutionary Computation, 10)

Evolutionary Algorithms for Embedded System Design (Genetic Algorithms and Evolutionary Computation, 10)

Rolf Drechsler, Nicole Drechsler

Year:

2012

File:

PDF, 14.21 MB

0 / 0

2012

19

Erweitertes Virtuelles Prototyping: Mit RISC-V-Fallstudien

Erweitertes Virtuelles Prototyping: Mit RISC-V-Fallstudien

Springer Vieweg. in Springer Fachmedien Wiesbaden GmbH

Vladimir Herdt, Daniel Große, Rolf Drechsler

Year:

2023

Language:

german

File:

PDF, 8.13 MB

0 / 5.0

german, 2023

20

Erweiterte virtuelle Prototypen für heterogene Systeme

Erweiterte virtuelle Prototypen für heterogene Systeme

Springer Vieweg. in Springer Fachmedien Wiesbaden GmbH

Muhammad Hassan, Daniel Große, Rolf Drechsler

Year:

2024

Language:

german

File:

PDF, 5.16 MB

0 / 0

german, 2024

21

Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

Vladimir Herdt, Daniel Große, Rolf Drechsler

Year:

2021

Language:

english

File:

PDF, 4.83 MB

0 / 0

english, 2021

22

Information Storage: A Multidisciplinary Perspective

Information Storage: A Multidisciplinary Perspective

Cornelia S. Große, Rolf Drechsler

Year:

2020

Language:

english

File:

PDF, 6.62 MB

0 / 0

english, 2020

23

Formal system verification : state-of the-art and future trends

Formal system verification : state-of the-art and future trends

Drechsler, Rolf

Year:

2018

Language:

english

File:

PDF, 6.33 MB

0 / 5.0

english, 2018

24

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Springer International Publishing

Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler (auth.)

Year:

2018

Language:

english

File:

PDF, 4.74 MB

5.0 / 5.0

english, 2018

25

Advanced Logic Synthesis

Advanced Logic Synthesis

Springer International Publishing

André Inácio Reis, Rolf Drechsler (eds.)

Year:

2018

Language:

english

File:

PDF, 6.76 MB

0 / 5.0

english, 2018

26

Exact Design of Digital Microfluidic Biochips

Exact Design of Digital Microfluidic Biochips

Springer International Publishing

Oliver Keszocze, Robert Wille, Rolf Drechsler

Year:

2019

Language:

english

File:

PDF, 4.03 MB

0 / 0

english, 2019

27

Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test

Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test

Springer International Publishing

Arun Chandrasekharan, Daniel Große, Rolf Drechsler

Year:

2019

Language:

english

File:

PDF, 2.97 MB

0 / 0

english, 2019

28

Natural Language Processing for Electronic Design Automation

Natural Language Processing for Electronic Design Automation

Springer International Publishing;Springer

Mathias Soeken, Rolf Drechsler

Year:

2020

Language:

english

File:

PDF, 3.59 MB

5.0 / 5.0

english, 2020

29

Reversible and Quantum Circuits: Optimization and Complexity Analysis

Reversible and Quantum Circuits: Optimization and Complexity Analysis

Springer International Publishing

Nabila Abdessaied, Rolf Drechsler (auth.)

Year:

2016

Language:

english

File:

PDF, 5.99 MB

0 / 0

english, 2016

30

Formal Specification Level: Concepts, Methods, and Algorithms

Formal Specification Level: Concepts, Methods, and Algorithms

Springer International Publishing

Mathias Soeken, Rolf Drechsler (auth.)

Year:

2015

Language:

english

File:

PDF, 7.24 MB

0 / 0

english, 2015

31

Quality-Driven SystemC Design

Quality-Driven SystemC Design

Springer Netherlands

Daniel Große, Rolf Drechsler (auth.)

Year:

2010

Language:

english

File:

PDF, 2.70 MB

0 / 0

english, 2010

32

Design Automation for Field-coupled Nanotechnologies

Design Automation for Field-coupled Nanotechnologies

Marcel Walter, Robert Wille, Frank Sill Torres, Rolf Drechsler

Year:

2022

Language:

english

File:

PDF, 5.57 MB

0 / 0

english, 2022

33

Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems

Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems

Springer International Publishing

Rolf Drechsler, Mathias Soeken

Year:

2020

Language:

english

File:

PDF, 4.48 MB

0 / 0

english, 2020

34

Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015

Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015

Springer Vieweg

Rolf Drechsler, Ulrich Kühne (eds.)

Year:

2015

Language:

english

File:

PDF, 5.89 MB

0 / 0

english, 2015

35

Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

Springer International Publishing;Springer

Vladimir Herdt, Daniel Große, Rolf Drechsler

Year:

2021

Language:

english

File:

PDF, 4.83 MB

0 / 0

english, 2021

36

Advanced BDD Optimization

Advanced BDD Optimization

Rudiger Ebendt, Görschwin Fey, Rolf Drechsler

Year:

2005

Language:

english

File:

PDF, 3.46 MB

0 / 0

english, 2005

37

Evolutionary Algorithms for VLSI CAD

Evolutionary Algorithms for VLSI CAD

Rolf Drechsler (auth.)

Year:

1998

Language:

english

File:

PDF, 4.85 MB

0 / 0

english, 1998

38

High Quality Test Pattern Generation and Boolean Satisfiability

High Quality Test Pattern Generation and Boolean Satisfiability

Springer-Verlag New York

Stephan Eggersglüß, Rolf Drechsler (auth.)

Year:

2012

Language:

english

File:

PDF, 1.51 MB

0 / 0

english, 2012

39

Binary Decision Diagrams: Theory and Implementation

Binary Decision Diagrams: Theory and Implementation

Rolf Drechsler, Bernd Becker (auth.)

Year:

1998

Language:

english

File:

PDF, 7.56 MB

0 / 0

english, 1998

40

Formal System Verification: State-of the-Art and Future Trends

Formal System Verification: State-of the-Art and Future Trends

Springer International Publishing : Imprint : Springer

Drechsler, Rolf

Year:

2018

Language:

english

File:

PDF, 6.33 MB

0 / 0

english, 2018

41

Towards a Design Flow for Reversible Logic

Towards a Design Flow for Reversible Logic

Springer Netherlands

Robert Wille, Rolf Drechsler (auth.)

Year:

2010

Language:

english

File:

PDF, 3.49 MB

0 / 0

english, 2010

42

Formal Verification of Circuits

Formal Verification of Circuits

Rolf Drechsler (auth.)

Year:

2000

Language:

english

File:

PDF, 12.73 MB

0 / 0

english, 2000

43

Automatic Methods for the Refinement of System Models: From the Specification to the Implementation

Automatic Methods for the Refinement of System Models: From the Specification to the Implementation

Springer International Publishing

Julia Seiter, Robert Wille, Rolf Drechsler (auth.)

Year:

2017

Language:

english

File:

PDF, 2.07 MB

0 / 0

english, 2017

44

Robustness and Usability in Modern Design Flows

Robustness and Usability in Modern Design Flows

Görschwin Fey, Rolf Drechsler

Year:

2008

Language:

english

File:

PDF, 769 KB

0 / 0

english, 2008

45

Applications of Evolutionary Computing: EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog, Naples, Italy, March 26-28, 2008. Proceedings

Applications of Evolutionary Computing: EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog, Naples, Italy, March 26-28, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Enrique Alba, José García-Nieto, Javid Taheri, Albert Zomaya (auth.), Mario Giacobini, Anthony Brabazon, Stefano Cagnoni, Gianni A. Di Caro, Rolf Drechsler, Anikó Ekárt, Anna Isabel Esparcia-Alcázar, Muddassar Farooq, Andreas Fink, Jon McCormack, Michael

Year:

2008

Language:

english

File:

PDF, 17.10 MB

0 / 0

english, 2008

46

Quality-Driven SystemC Design

Quality-Driven SystemC Design

Springer Netherlands

Daniel Große, Rolf Drechsler (auth.)

Year:

2010

Language:

english

File:

PDF, 3.25 MB

0 / 0

english, 2010

47

Applications of Evolutionary Computing: EvoWorkkshops 2005: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoMUSART, and EvoSTOC Lausanne, Switzerland, March 30 - April 1, 2005 Proceedings

Applications of Evolutionary Computing: EvoWorkkshops 2005: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoMUSART, and EvoSTOC Lausanne, Switzerland, March 30 - April 1, 2005 Proceedings

Springer-Verlag Berlin Heidelberg

Jesus S. Aguilar–Ruiz, Federico Divina (auth.), Franz Rothlauf, Jürgen Branke, Stefano Cagnoni, David Wolfe Corne, Rolf Drechsler, Yaochu Jin, Penousal Machado, Elena Marchiori, Juan Romero, George D. Smith, Giovanni Squillero (eds.)

Year:

2005

Language:

english

File:

PDF, 14.00 MB

0 / 0

english, 2005

48

Applications of Evolutionary Computation: EvoApplications 2011: EvoCOMNET, EvoFIN, EvoHOT, EvoMUSART, EvoSTIM, and EvoTRANSLOG, Torino, Italy, April 27-29, 2011, Proceedings, Part II

Applications of Evolutionary Computation: EvoApplications 2011: EvoCOMNET, EvoFIN, EvoHOT, EvoMUSART, EvoSTIM, and EvoTRANSLOG, Torino, Italy, April 27-29, 2011, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Fatma Corut Ergin, A. Şima Uyar, Ayşegül Yayimli (auth.), Cecilia Di Chio, Anthony Brabazon, Gianni A. Di Caro, Rolf Drechsler, Muddassar Farooq, Jörn Grahl, Gary Greenfield, Christian Prins, Juan Romero, Giovanni Squillero, Ernesto Tarantino, Andrea G. B

Year:

2011

Language:

english

File:

PDF, 22.04 MB

0 / 0

english, 2011

49

Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2015

Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2015

Springer International Publishing

Rolf Drechsler, Robert Wille (eds.)

Year:

2016

Language:

english

File:

PDF, 9.01 MB

0 / 0

english, 2016

50

Applications of Evolutionary Computation: EvoApplications 2012: EvoCOMNET, EvoCOMPLEX, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoNUM, EvoPAR, EvoRISK, EvoSTIM, and EvoSTOC, Málaga, Spain, April 11-13, 2012, Proceedings

Applications of Evolutionary Computation: EvoApplications 2012: EvoCOMNET, EvoCOMPLEX, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoNUM, EvoPAR, EvoRISK, EvoSTIM, and EvoSTOC, Málaga, Spain, April 11-13, 2012, Proceedings

Springer-Verlag Berlin Heidelberg

José Manuel Lanza-Gutiérrez, Juan Antonio Gómez-Pulido, Miguel A. Vega-Rodríguez (auth.), Cecilia Di Chio, Alexandros Agapitos, Stefano Cagnoni, Carlos Cotta, Francisco Fernández de Vega, Gianni A. Di Caro, Rolf Drechsler, Anikó Ekárt, Anna I. Esparcia-Al

Year:

2012

Language:

english

File:

PDF, 15.58 MB

0 / 0

english, 2012